COMMENT ⊗   VALID 00007 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	READIN
C00003 00003	WRITIN
C00004 00004	PROVIN
C00005 00005	IMPURE
C00006 00006	MACHIN
C00007 00007	SEARCH
C00010 ENDMK
C⊗;
;;;READIN
;;;WRITIN
;;;PROVIN

;;;IMPURE
;;;MACHIN
;;;SEARCH

SEARCH.LSP[206,LSP] Depth first general tree search functions
	(SEARCH SEARCHLIS ALLSOL1 ALLSOL ALLSOLA ALLSOLB)

GRAPH.LSP[206,LSP] Characterization of a graph via TER,LOSE,SUCCESSORS
	(LOSE TER SUCCESSORS)

INSANI.LSP[206,LSP] Characterization of instant insanity puzzle 
     FNS:(LOSE TER SUCCESSORS ORLIS NTH CYCLES UPTO SUBLIS) 
     CONSTANTS: (P0 PUZZ1 PUZZ2 PUZZ3 PUZZ4 PUZZ4A PUZZ )
     ANSWERS: (SEARCH P0) (ALLSOL P0)
INSANB.LSP[206,LSP] Characterization of instant insanity puzzle (boolean version)
     FNS:(POO ZAP LOSE TER MAPCHOOSE SUCCESSORS)
     CONSTANTS: (P00 PUZZA)
     ANSWERS: (SEARCH P00) (ALLSOL P00)


GAME.LSP[206,LSP] 
    αβ-MINMAX gametree searching functions:
    (VALMAX VALMIN LINEMAX LINEMIN TREEMAX TREEMIN RECTIFY COMMONTAIL COMMONHEAD)
TICTAC.LSP[206,LSP]
    Functions characterizing the game of tictactoe in 2-d
    (COMMENCE EXT NEWGAME TER IMVAL SUCCESSORS REVERT UPDATE SORT SORTA SORTB SORTC
       WIN ANSWER DOUBLETH TWOLIS THREAT  ORLIS DELETE)
TICTAC.SUP[206,LSP]
    Top level supervisor for playing ttt with computer using GAME.LSP and TICTAC.LSP
    (TICTAC ASK RAND CHOOSEMOVE PRINTBOARD! PRINTBOARD WINNER MEMARRAY VMX LMX TMX)

TICTAC[206,CLT] loads all the necessary files in order to play
GAME.WRU[206,JMC] has a brief explanation of the functions in GAME.LSP[206,LSP]